/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */
package edu.yonsei.iwb.sdt.refinement;

/**
 *
 * @author JDK
 */
public class DLConstructors {
    public static String CONJUNCTION =  "∧";
    public static String DISJUNCTION =  "∨";
    public static String EXISTENTIAL =  "∃";
    public static String UNIVERSAL =  "∀";
    public static String NEGATION =  "┓";
}
